On a Question of Friedman

In this paper we answer a question of Friedman, providing an !-separable model M of the-calculus. There therefore exists an-separable model for any 0. The model M permits no non-trivial enrichment as a partial order; neither does it permit an enrichment as a category with an initial object. The open term model embeds in M: by way of contrast we provide a model which cannot embed in any non-trivial model separating all pairs of distinct elements.